home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / sr / info-sr.1998 / 000007_owner-info-sr _Tue May 26 03:46:14 1998.msg < prev    next >
Internet Message Format  |  1999-01-04  |  3KB

  1. Return-Path: <owner-info-sr@cheltenham.cs.arizona.edu>
  2. Received: from optima.cs.arizona.edu (optima.CS.Arizona.EDU [192.12.69.5])
  3.     by cheltenham.cs.arizona.edu (8.8.7/8.8.7) with ESMTP id DAA24936
  4.     for <info-sr@cheltenham.cs.arizona.edu>; Tue, 26 May 1998 03:46:14 -0700 (MST)
  5. Received: from tamdhu.dcs.st-andrews.ac.uk (tamdhu.dcs.st-and.ac.uk [138.251.192.40])
  6.     by optima.cs.arizona.edu (8.9.0.Beta5/8.9.0.Beta5) with SMTP id DAA00410
  7.     for <info-sr@cs.arizona.edu>; Tue, 26 May 1998 03:46:05 -0700 (MST)
  8. Received: by tamdhu.dcs.st-andrews.ac.uk (4.1/SMI-4.1)
  9.     id AA20615; Tue, 26 May 98 11:44:23 BST
  10. Date: Tue, 26 May 98 11:44:23 BST
  11. From: colin@dcs.st-and.ac.uk (Colin Allison)
  12. Message-Id: <9805261044.AA20615@tamdhu.dcs.st-andrews.ac.uk>
  13. To: jperez@lsi.us.es
  14. Subject: Re: Help!
  15. Cc: info-sr@cs.arizona.edu
  16.  
  17. Jose,
  18.  
  19. You're trying to service an op declared in one resource
  20. in another resource - this is not part of the resource concept.
  21.  
  22. You can invoke remote ops, but not service them.
  23.  
  24. Colin Allison
  25. St Andrews
  26.  
  27. > From info-sr-sender@cheltenham.cs.arizona.edu Tue May 26 10:50:35 1998
  28. > Sender: jperez@lsi.us.es
  29. > Date: Tue, 26 May 1998 11:46:13 +0200
  30. > From: "Jose A. Perez Castellanos" <jperez@lsi.us.es>
  31. > Organization: Departamento de Lenguajes y Sistemas Informaticos
  32. > X-Mailer: Mozilla 3.0 (X11; I; SunOS 5.4 sun4d)
  33. > Mime-Version: 1.0
  34. > To: info-sr@cs.arizona.edu
  35. > Subject: Help!
  36. > Content-Type> : > text/plain> ; > charset=us-ascii> 
  37. > Content-Transfer-Encoding: 7bit
  38. > Content-Length: 1395
  39. > Hello netters,
  40. >         I've recently got in trouble with this program:
  41. > -----------------------------------------------------------
  42. > resource A
  43. >   op message1() {send}
  44. >   op message2() {send} 
  45. > body A()
  46. > end A
  47. > resource R1
  48. >   import A
  49. >   op Body (cap_m : cap A) {send}
  50. > body R1( )
  51. >   proc Body (cap_m)
  52. >     in 
  53. >       cap_m.message1() -> printf("Message1\n")
  54. >     [] 
  55. >       cap_m.message2() -> printf("Message2\n")
  56. >     ni
  57. >   end
  58. > end R1
  59. > [Other stuff removed]
  60. > -----------------------------------------------------------
  61. >         My SR compiler stops compilation showing the following error
  62. > message:
  63. > "mensaje.sr", line 34: fatal: illegal context for non-local capability
  64. > "mensaje.sr", line 36: fatal: illegal context for non-local capability
  65. >         Could someone, please, tell me what I'm doing wrong?  Thanks in
  66. > advance.
  67. > -- 
  68. >                             ******************************************         
  69. >                             * Jose Antonio Perez Castellanos         *
  70. >                             * Dep. Lenguajes y Sistemas Informaticos *
  71. >                             * Universidad de Sevilla - SPAIN         *
  72. >                             * jperez@lsi.us.es                       *
  73. >                             * -------------------------------------- *
  74. >                             * The Gods Made Heavy Metal...           *
  75. >                             ******************************************